Books by author Michael Leuschel

Showing 1 – 4 out of 4 results

1. 

   Rigorous State-Based Methods

   Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   74.44 €

   Sale 9 %

   You save 8.26 €

   Buy
2. 

   Rigorous State-Based Methods

   Michael Leuschel, Fuyuki Ishikawa | Springer, Berlin, 2025

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   133.82 €

   Sale 7 %

   You save 11.13 €

   Buy
3. 

   Formal Methods for Components and Objects

   Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   In stock at our supplier - Shipping in 9 - 15 days

   Language: English

   Binding: Paperback

   56.03 €

   Buy
4. 

   Integrated Formal Methods

   Michael Leuschel, Heike Wehrheim | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.68 €

   Sale 7 %

   You save 4.28 €

   Buy

Free shipping for orders over 59.99 €. Find out more